Section: Dissemination

Promoting Scientific Activities

• J. Niehren: member of the Program Committee of LATA 2019

• S. Tison: member of the program committee of FSCD (International Conference on Formal Structure for Computation and Deduction) 2019.

• S. Staworko: member of the program committee of EDBT 2020: International Conference on Extending Database Technology, Copenhagen, Denmark, March 30–April 2, 2020; Demonstration Track

• F. Capelli: member of the program committee of IJCAI 2019

• J. Niehren is editor of Fundamenta Informaticae

• S. Salvati is managing editor of JoLLI (Journal for Logic, Language and Information)

• S. Tison is in the editorial committee of RAIRO-ITA (Theoretical Informatics and Applications)

• S. Staworko has been invited in GT Automata, Logic, Games and Algebra (ALGA) to give the talk Shape Expressions Schemas for RDF: Semantics, Complexity, and Inference (Oct 2019, Paris)

• I. Boneva and J. Dusart have been invited to Ghent University, Belgium Wikidata and Wikibase Workshop: developing a Wikibase instance (3 - 5 July 2019) as expert on ShapeDesigner

• F. Capelli has been invited in the seminar of LIMD (Université de Savoie) (13/06/2019)

• F. Capelli has been invited in the Dagstuhl Seminar “Deduction Beyond Satisfiability” (10/09/2019)

• F. Capelli has been invited in the seminar of LACL (Université Paris-Est Creteil) (18/11/2019)

• F. Capelli has been invited in “Journée du GT ALGA” (Paris, 11/10/201)9

• S. Tison: member of the coordinating committee of I-Site Université Lille Nord Europe, about innovation and relationship with social economical world

• S. Tison: head of CITC-Eurarfid until June 2019

• J. Niehren: member of the board of the comittee of project-teams of Inria Lille

• S. Salvati: elected alternate member of Inria Evaluation Commission (2019-2023)

• F. Capelli: co-organizer of Groupe de Travail of CNRS IMIA (Informatique Mathématique Intelligence Artificielle)

• F. Capelli: organiser of a AI DAY for the GDR IM

• F. Capelli: organiser of an international workshop on knowledge compilation (project SACRe Kocoon - http://kocoon.gforge.inria.fr/)